-
1 доказательство в виде дерева
Mathematics: tree form proofУниверсальный русско-английский словарь > доказательство в виде дерева
-
2 доказательство
1. proof2. evidenceБизнес, юриспруденция. Русско-английский словарь > доказательство
-
3 доказательство
Русско-английский словарь по информационным технологиям > доказательство
-
4 наглядное доказательство
Русско-английский большой базовый словарь > наглядное доказательство
-
5 строгое доказательство
-
6 решение в аналитическом виде
нормализованная форма; нормализованный вид — normalized form
Русско-английский большой базовый словарь > решение в аналитическом виде
-
7 tree form proof
-
8 program proof
-
9 proof
доказательство; проверка; безопасный -
10 tree form proof
The English-Russian dictionary general scientific > tree form proof
-
11 tree form proof
1) Математика: доказательство в виде дерева2) Вычислительная техника: ветвящееся доказательство, доказательство в форме дерева -
12 form
1. n форма; внешний вид; очертаниеnormalized form — нормализованная форма; нормализованный вид
analytic form — аналитическая форма; аналитическое выражение
2. n фигураwell-proportioned form — пропорциональное сложение, хорошая фигура
3. n обличьеProteus was able to appear in the form of any animal — Протей мог являться в обличье любого животного
4. n стать5. n форма, вид6. n вид, разновидность; тип7. n стиль, манераbad form — невоспитанность, вульгарность, плохие манеры
8. n состояние; форма; готовность9. n настроение, душевное состояние10. n формальность; проформа11. n церемония, порядок12. n установившаяся форма выражения; формулаconjuctive normal form — конъюктивная нормальная форма; КНФ
13. n класс14. n форма, бланк, образец; анкета15. n нора16. n грам. форма словаsnap-apart business form — «отрывная» конторская форма
17. n спец. форма исполнения18. n спец. модель, тип, образец; торговый сорт19. n спец. тех. форма для литья20. n спец. полигр. печатная форма21. n спец. стр. форма; опалубка22. n спец. выражение23. v придавать форму, вид24. v принимать форму, вид25. v составлять, образовывать; формировать26. v образовываться; формироваться27. v грам. образовывать28. v создавать, составлять; формулировать29. v возникать, оформляться30. v представлять собой; являтьсяchocolate forms a wholesome substitute for staple food — шоколад является полноценным заменителем основных продуктов питания
31. v тренировать, дисциплинировать; воспитывать; развивать32. v формировать, организовывать; образовывать, создавать33. v воен. строить34. v воен. строиться35. v спец. формовать36. v спец. сад. обрезать, подвергать обрезке; формировать кронузабираться, забиваться в нору
to form and display an intention — сформировать и обнаружить намерение, умысел
Синонимический ряд:1. appearance (noun) appearance; body; build; cast; configuration; conformation; cut; figure; format; framework; matrix; plan; shape; structure; style2. business form (noun) application; blank; business form; document; duplicate; paper; questionnaire; report3. ceremony (noun) ceremonial; ceremony; conformity; formality; liturgy; rite; ritual; rule4. convenance (noun) convenance; convention; usage5. formula (noun) approach; formula; method; mode; practice; procedure; system6. group (noun) assemblage; group; organisation; organization7. kind (noun) arrangement; kind; manner; sort; type8. model (noun) model; mold; mould; pattern9. order (noun) condition; fitness; order; trim10. acquire (verb) acquire; contract; develop11. arrange (verb) arrange; combine; dispose; order; organise; organize; systematise; systematize12. cast (verb) carve; cast; chisel; construct; contrive; design; devise; fashion; frame; mold; pattern13. make (verb) assemble; build; compose; comprise; constitute; create; erect; fabricate; forge; invent; make; make up; manufacture; originate; produce; put together; shape14. model (verb) model; mould; shape15. teach (verb) discipline; educate; instruct; rear; teach; trainАнтонимический ряд:damage; defacement; deform; deformity; demolish; derange; destroy; devastate; disarrange; disintegrate; dislocate; dismantle; dismember -
13 irreducible proof
English-Russian big polytechnic dictionary > irreducible proof
-
14 proof
1. непроницаемость; доказательство2. непроницаемый -
15 rigorous proof
The English-Russian dictionary general scientific > rigorous proof
-
16 in powder form
normalized form — нормализованная форма; нормализованный вид
-
17 in columnar form
normalized form — нормализованная форма; нормализованный вид
-
18 be of the form of
normalized form — нормализованная форма; нормализованный вид
-
19 представить доказательства
Русско-английский большой базовый словарь > представить доказательства
-
20 схема доказательства
Русско-английский большой базовый словарь > схема доказательства
- 1
- 2
См. также в других словарях:
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
Валидация — (Validation) Содержание Содержание 1. ISO 2. Чем отличается валидация от верификации? 3. Валидация документов 4. Валидация XML и XHTML 5. GMP валидация 6. Что такое валидация ИПДО? Валидация – это придание законной силы, утверждение,… … Энциклопедия инвестора
ДЕКАРТ — (Descartes) Рене (латинизир. имя Картезий; Renatus Cartesius) (1596 1650) фр. философ и ученый, один из основателей философии и науки Нового времени. Основные философско методологические соч.: «Рассуждение о методе» (1637), «Размышления о первой… … Философская энциклопедия
Генеалогическое древо — У этого термина существуют и другие значения, см. Древо. Пример восходяще нисходящего смешанного генеалогического древа Родословное, или генеалогическое древо … Википедия
Родословное дерево — Пример восходяще нисходящего смешанного генеалогического древа Родословное или генеалогическое древо схематическое представление родственных связей, родословной росписи в виде древа, у «корней» которого расположен родоначальник, а на «ветвях»… … Википедия
Список эпизодов телесериала «Карнавал» — Основная статья: Карнавал (телесериал) Заставка сериала «Карнавал» (англ. Carnivàle) американский телесериал, созданный … Википедия
Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… … Медицинская энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Семейство волчьи, или псовые — (Canidae)** * * Семейство объединяет 16 современных родов и 36 видов. Псовые широко распространены в Евразии, Африке, Северной и Южной Америке, на Новую Гвинею и в Австралию проникли с человеком. За исключением одного вида, имеют более… … Жизнь животных
Суффиксное дерево — Суффиксное дерево бор, содержащий все суффиксы некоторой строки (и только их). Позволяет выяснять, входит ли строка w в исходную строку t, за время O(|w|), где |w| длина строки w. Содержание 1 Основные определения и описание структуры … Википедия